Computer algebra investigation of known primitive triangle-free strongly regular graphs
نویسندگان
چکیده
With the aid of computer algebra systems COCO and GAP with its packages we are investigating all seven known primitive triangle-free strongly regular graphs on 5, 10, 16, 50, 56, 77 and 100 vertices. These graphs are rank 3 graphs, having a rich automorphism group. The embeddings of each graph from this family to other ones are described, the automorphic equitable partitions are classified, all equitable partitions in the graphs on up to 50 vertices are enumerated. Basing on the reported computer aided results and using techniques of coherent configurations, a few new models of these graphs are suggested, which are relying on knowledge of just a small part of symmetries of a graph in consideration.
منابع مشابه
The Strongly Regular (40, 12, 2, 4) Graphs
In a previous paper it was established that there are at least 27 non-isomorphic strongly regular (40, 12, 2, 4) graphs. Using a different and more efficient method we have re-investigated these graphs and have now been able to determine them all, and so complete the classification. We have discovered that there are precisely 28 non-isomorphic (40, 12, 2, 4) strongly regular graphs. The one tha...
متن کاملAN INVESTIGATION ON THE CO-ANNIHILATORS IN TRIANGLE ALGEBRAS
In this paper, we introduce the notion of co-annihilator of a subsetin a triangle algebra. It is shown that the co-annihilator of asubset is an interval valued residuated lattice (IVRL)-filter. Also, aspecial set of a triangle algebra is defined and the relationshipbetween this set and co-annihilator of a subset in triangle algebrais considered. Finally, co-annihilators preserving congruencerel...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملPrimitive Ideal Space of Ultragraph $C^*$-algebras
In this paper, we describe the primitive ideal space of the $C^*$-algebra $C^*(mathcal G)$ associated to the ultragraph $mathcal{G}$. We investigate the structure of the closed ideals of the quotient ultragraph $ C^* $-algebra $C^*left(mathcal G/(H,S)right)$ which contain no nonzero set projections and then we characterize all non gauge-invariant primitive ideals. Our results generalize the ...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013